In matematica, una relazione di equivalenza è una relazione binaria che soddisfa tre proprietà fondamentali: riflessività, simmetria e transitività. Queste proprietà garantiscono che la relazione definisca un modo significativo di raggruppare elementi "simili" all'interno di un insieme.
Formalmente, sia R una relazione definita su un insieme A. R è una relazione di equivalenza se e solo se:
Riflessività: Per ogni a ∈ A, a R a. In altre parole, ogni elemento è in relazione con se stesso. https://it.wikiwhat.page/kavramlar/Riflessività%20di%20una%20Relazione
Simmetria: Per ogni a, b ∈ A, se a R b, allora b R a. Se a è in relazione con b, allora b è in relazione con a. https://it.wikiwhat.page/kavramlar/Simmetria%20di%20una%20Relazione
Transitività: Per ogni a, b, c ∈ A, se a R b e b R c, allora a R c. Se a è in relazione con b e b è in relazione con c, allora a è in relazione con c. https://it.wikiwhat.page/kavramlar/Transitività%20di%20una%20Relazione
Classi di Equivalenza: Una relazione di equivalenza su un insieme A partiziona l'insieme in sottoinsiemi disgiunti chiamati classi di equivalenza. La classe di equivalenza di un elemento a ∈ A, denotata come [a] o A/R, è l'insieme di tutti gli elementi in A che sono in relazione con a. Formalmente, [a] = {x ∈ A | x R a}. https://it.wikiwhat.page/kavramlar/Classi%20di%20Equivalenza
Insieme Quoziente: L'insieme di tutte le classi di equivalenza indotte da una relazione di equivalenza R su un insieme A è chiamato insieme quoziente, denotato come A/R. L'insieme quoziente è una partizione di A. https://it.wikiwhat.page/kavramlar/Insieme%20Quoziente
Esempi:
Le relazioni di equivalenza sono fondamentali in molte aree della matematica, tra cui algebra, topologia e analisi. Permettono di costruire nuove strutture matematiche a partire da strutture esistenti, identificando elementi "simili" tramite la relazione di equivalenza.